Russian
аналитические решения English
symbolic computation Spanish
cálculo simbólico Catalan
computació algebraica 1
No fim dos anos 1970, seus cálculos foram conferidos usando-se álgebra computacional, encontrando-se apenas dois erros pequenos e sem importância.